Results on The Propositional μ-Calculus
PII: 0304-3975(82)90125-6 - kozen-results-on-propositional-mu-calculus.pdf
Dexter Kozen
2023.05.23
#様相μ計算
#命題μ計算